Computing the Forward Reachable Set for a Multirotor Under First-Order Aerodynamic Effects
نویسندگان
چکیده
منابع مشابه
A First Order Forward Chaining Approach for Answer Set Computing
The natural way to use Answer Set Programming (ASP) to represent knowledge in Artificial Intelligence or to solve a combinatorial problem is to elaborate a first order logic program with default negation. In a preliminary step this program with variables is translated in an equivalent propositional one by a first tool: the grounder. Then, the propositional program is given to a second tool: the...
متن کاملInvariance of the Approximately Reachable Set under Nonlinear Perturbations
This paper considers nonlinear perturbations of control systems with linear dynamics and seeks to analyze whether the approximately reachable set may be left unchanged by this perturbation. Under suitable conditions it is shown that this analysis may be reduced to the presumably simpler analysis of such invariance for a family of affine perturbations. Interest centers on the context of infinite...
متن کاملA Proximal Characterization of the Reachable Set
We show that the graph of the reachable set of a control system given by a differential inclusion is uniquely characterized by a Hamilton-Jacobi equation involving proximal normals. Résumé On démontre que le graphe de l’ensemble des points accessibles d’un système de contrôle décrit par une inclusion différentielle est caractérisé par une équation Hamilton-Jacobi impliquant les normales proxima...
متن کاملA General Method for Computing the Reachable Space of Mechanisms
A new methodology1 is presented for computing a minimal envelope for the reachable space of a mechanism, i.e. the space that contains a given mechanism in all its admissible configurations. The research is motivated by the packaging process in Digital Mock-Up applied in automotive industry. An important task in the concept phase, the automated determination of the space requirement for all part...
متن کاملComputing Reachable States for Nonlinear Biological Models
In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological models. We summarize the state-of-the-art for linear systems and then develop a novel algorithm for computing reachable states for nonlinear systems. We report experimental results obtained using a prototype implementation applie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Robotics and Automation Letters
سال: 2018
ISSN: 2377-3766,2377-3774
DOI: 10.1109/lra.2018.2848302